Type Theory and Functional Programming (1999) [pdf]
dev.toยท4hยท
Discuss: DEV
๐Ÿ”คType Theory
A DuckDB extension for in-database inference, written in Rust ๐Ÿฆ€
github.comยท7hยท
๐Ÿฆ€Rust Borrowing
Functional genetic programming and exhaustive program search with combinator expressions (2007)
cs.hmc.eduยท1dยท
Discuss: Lobsters
๐Ÿ”—Functional Compilers
Chain-in-Tree: Back to Sequential Reasoning in LLM Tree Search
arxiv.orgยท13h
๐ŸงฎSMT Solvers
mathematics of the impossible: Revision. Feedback welcome especially on chapters 1,2,3
emanueleviola.wordpress.comยท4h
๐ŸŽž๏ธTape Combinatorics
Using an LLM on the Advent of Code
funcall.blogspot.comยท1dยท
โš”๏ธLean Tactics
Double Maths First Thing: Issue 38
aperiodical.comยท9h
๐Ÿ“Mathematical Art
Solving 2-SAT
nima101.github.ioยท13hยท
Discuss: Hacker News
๐Ÿ”—Constraint Handling
First Day: A New Chapter at the JKU
stefan-marr.deยท11h
๐Ÿ”ฉSystems Programming
Proving the Infinitude of Primes in Knuckledragger
philipzucker.comยท3d
๐ŸงฎTheorem Proving
Is sound gradual typing dead? Performance problems in Typed Racket
dl.acm.orgยท4dยท
Discuss: Hacker News
๐ŸŽฏGradual Typing
The Intuition Behind How Large Language Models Work, Part I
mark-riedl.medium.comยท22hยท
Discuss: Hacker News
๐Ÿค–Grammar Induction
Sguaba: Type-safe spatial math in Rust
youtube.comยท2dยท
๐Ÿฆ€Rust Borrowing
The Causal Abstraction Network: Theory and Learning
arxiv.orgยท13h
๐Ÿ•ธ๏ธAlgebraic Topology
Apply the Trie: Word Search
mmhaskell.comยท2dยท
Discuss: Hacker News
๐ŸŒณTrie Structures
Making sense of parameter-space decomposition
lesswrong.comยท3dยท
Discuss: Hacker News
๐ŸงฎKolmogorov Bounds
We Trained a 3B Function-Calling Git Agent for Local Use
distillabs.aiยท2hยท
Discuss: Hacker News
๐ŸŒ€Brotli Internals
Expanding Computation Spaces of LLMs at Inference Time
arxiv.orgยท1d
๐Ÿ’ปLocal LLMs
Enzymatic Cascade Optimization for Enhanced Lignocellulosic Ethanol Production via Bayesian Hyperparameter Tuning
dev.toยท3hยท
Discuss: DEV
โ˜•Precision Brewing
Haskell WebAssembly for Browser Interaction
funwithfunctions.comยท17hยท
Discuss: Hacker News
๐Ÿ›ก๏ธWASM Security